d{-}decl($D$;$i$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}action{-}dec($\lambda$$i$,$a$. d{-}m($D$; $i$).da(locl($a$));$\lambda$$l$,${\it tg}$. d{-}m($D$; source($l$)).dout($l$,${\it tg}$);$i$)